" Carolyn Talcott" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

All about Maude.. a high-performance logical framework

Автор: Manuel Clavel, Автор: Francisco Durán, Автор: Steven Eker, Автор: Patrick Lincoln, Автор: Narciso Martí-Oliet, Автор: José Meseguer, Автор: Carolyn Talcott

Категория: CsLn_

Размер книги: 5.51 Mb

Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings

Автор: Farhad Arbab, Автор: Carolyn Talcott

Размер книги: 4.04 Mb